Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds. Together, these far reaching scienti?c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas.

Information theory. --- Software engineering. --- Electronic data processing. --- Information systems. --- Computer simulation. --- Computer vision. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Numeric Computing. --- Information Systems and Communication Service. --- Simulation and Modeling. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Automation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. This interactive textbook is intended to be used in and outside of class. Each chapter follows a pattern of presenting a topic followed by a practice exercise or exercises that encourage students to try what they have just read. This textbook is best-suited for students with a 2-3 course introduction to imperative programming. Key Features: Accessible structure guides the student through various programming languages Seamlessly integrated practice exercises Classroom-tested Online support materials Advance Praise for Lee’s Programming Languages: An Active Learning Approach "The Programming Languages book market is overflowing with books, but none like this. In many ways, it is precisely the book I have been searching for to use in my own programming languages course. One of the main challenges I perpetually face is how to teach students to program in functional and logical languages, but also how to teach them about compilers. This book melds the two approaches very well." -- David Musicant, Carleton College .

Computer Science. --- Symbolic and Algebraic Manipulation. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Computer science. --- Logic design. --- Algebra --- Informatique --- Structure logique --- Algèbre --- Data processing. --- IBM 1620 (Computer) -- Programming. --- Programming (Electronic computers). --- Programming languages (Electronic computers). --- Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers) --- Electronic data processing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Computer logic. --- Computer science --- Mathematics. --- Computers --- Office practice --- Electronic data processing --- Languages, Artificial --- Automation --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer science—Mathematics. --- Computer science logic --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scientific disciplines. Both fields deeply cross fertilize each other. One of the persons who particularly contributed to building bridges between these and many other areas is László Lovász, a scholar whose outstanding scientific work has defined and shaped many research directions in the last 40 years. A number of friends and colleagues, all top authorities in their fields of expertise and all invited plenary speakers at one of two conferences in August 2008 in Hungary, both celebrating Lovász’s 60th birthday, have contributed their latest research papers to this volume. This collection of articles offers an excellent view on the state of combinatorics and related topics and will be of interest for experienced specialists as well as young researchers.

Mathematics. --- Combinatorics. --- Number Theory. --- Numeric Computing. --- Discrete Mathematics in Computer Science. --- Electronic data processing. --- Computational complexity. --- Number theory. --- Mathématiques --- Informatique --- Complexité de calcul (Informatique) --- Théorie des nombres --- Combinatorial analysis -- Congresses. --- Computer science -- Mathematics -- Congresses. --- Lovász, László, 1948-. --- Mathematics --- Algebra --- Physical Sciences & Mathematics --- Computer science --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computers. --- Numerical analysis. --- Discrete mathematics. --- Discrete Mathematics. --- Theory of Computation. --- Information theory. --- Complexity, Computational --- Machine theory --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Number study --- Numbers, Theory of --- Communication theory --- Communication --- Cybernetics --- Combinatorics --- Mathematical analysis --- Automation --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer science. --- Numerical Analysis. --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31–June1,2005. The conference is intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community. The invited speakers were: Filippo Focacci from ILOGS.A.,France,oneoftheleadingcompaniesinthe?eld;PaulPop,professor in the Embedded Systems Lab in the Computer and Information Science - partment, Link¨ oping University; and Paul Williams, full professor of Operations Research at the London School of Economics. The day before CPAIOR, a Master Class was organized by Gilles Pesant, where leading researchers gave introductory and overview talks in the area of metaheuristics and constraint programming. The Master Class was intended for PhD students, researchers, and practitioners. We are very grateful to Gilles who brought this excellent program together. For conference publicity we warmly thank Willem Jan van Hoeve and Petr Vil´ ?m who did a great job with the high number of submissions received.

bedrijfsadministratie --- Computer. Automation --- robots --- Computer architecture. Operating systems --- informatica --- computernetwerken --- Office management --- numerieke analyse --- Artificial intelligence. Robotics. Simulation. Graphics --- Discrete mathematics --- discrete wiskunde --- Computer science --- Constraints (Artificial intelligence) --- Constraint programming (Computer science) --- Combinatorial optimization --- Artificial intelligence --- Operations research --- Technique --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Constraint satisfaction (Artificial intelligence) --- Artificial intelligence. --- Electronic data processing. --- Computational complexity. --- Computer Communication Networks. --- Information systems. --- Artificial Intelligence. --- Numeric Computing. --- Discrete Mathematics in Computer Science. --- Computer Appl. in Administrative Data Processing. --- Complexity, Computational --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Automation --- Numerical analysis. --- Computer science—Mathematics. --- Computer communication systems. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Mathematical analysis --- Distributed processing --- Discrete mathematics. --- Computer networks. --- Information technology—Management. --- Numerical Analysis. --- Computer Application in Administrative Data Processing. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Information technology --- Mathematics. --- Management. --- Computer mathematics --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5-9, 2007. The conference was organized by the Institute for Parallel Processing at the Bulgarian Academy of Sciences in cooperation with SIAM (Society for Industrial and Applied Ma- ematics). Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. The conference was devoted to the 60th anniversary of Richard E. Ewing. ProfessorEwingwasawardedthemedaloftheBulgarianAcademyofSciencesfor hiscontributionstotheBulgarianmathematicalcommunityandtotheAcademy ofSciences.Hiscareerspanned33years,primarilyinacademia,butalsoincluded industry. Since 1992 he worked at Texas A&M University being Dean of Science and Vice President of Research, as well as director of the Institute for Scienti?c Computation (ISC), which he founded in 1992. Professor Ewing is internati- ally well known with his contributions in applied mathematics, mathematical modeling, and large-scale scienti?c computations. He inspired a generation of researchers with creative enthusiasm for doing science on scienti?c compu- tions. The preparatorywork on this volume was almost done when the sad news came to us: Richard E. Ewing passed away on December 5, 2007 of an apparent heart attack while driving home from the o?ce.

Information systems --- Computer architecture. Operating systems --- Computer Science. --- Numeric Computing. --- Programming Techniques. --- Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Simulation and Modeling. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Computer science. --- Operating systems (Computers). --- Computer software. --- Electronic data processing. --- Computer simulation. --- Computer aided design. --- Informatique --- Systèmes d'exploitation (Ordinateurs) --- Logiciels --- Simulation par ordinateur --- Conception assistée par ordinateur --- Science --- Engineering --- High performance computing --- Sciences - General --- Applied Mathematics --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Data processing --- Computer hardware. --- Computer programming. --- Algorithms. --- Numerical analysis. --- Computer Hardware. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Mathematical analysis --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Foundations --- Operating systems --- Programming --- Software, Computer --- Computer systems --- ADP (Data processing) --- Automatic data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automation --- Metaheuristics --- Heuristic algorithms --- Computers. --- Numerical Analysis. --- Computer Modelling. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Machine theory --- Calculators --- Cyberspace